make synth argument checking optional:

* introduce two new functions `use_arg_checks` and `with_arg_checks`
* TODO: add pref options for these