murphi2uclid: reject specific ruleset/property combination in check

This moves the previous rejection of properties within rulesets with quantifiers
with non-1 steps to the check phase instead of code generation. This is cleaner
as we get a proper error message instead of a messy uncaught exception during
code generation.