Minor fixes for SolveBio in varify global_settings

Signed-off-by: David Caplan <dcaplan@gmail.com>