Improve use of "verbose" flag for synthesize() and reach_localfixpoint()
Make accessible troll variable name prefixes in MGridWorld
EXAMPLE: Workaround to adjust troll radii, until MGridWorld settles down
EXAMPLE: Switch default to nonbool for localmu_unreach_discrete sim script