API: rm args `bool_states, bool_actions` to `synth.synthesize`
API: rm args `bool_states, bool_actions` to `synth.synthesize`

because they are inefficient.

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control