update synth.is_realizable to new synthesize signature

which accepts env and ignore_env_init
make robot_controlled_switching_test a test