Ycheck consistency between flags

Some combinations of flags make no sense, eg `Lazy` | `Label`. It would be nice to Ycheck that we don't have invalid combinations of flags.

This task is hard, because it's open-ended as we do not currently have a spec of what combinations are valid and what are not.
