User annotations for forcing Checks

[segevem]

Add special AlwaysCheck function that when applied to a hypothesis forces Chamelean to only check it.

c : AlwaysCheck (H a b c) -> ... -> C a b c

This will never try to generate a,b, or c from H. It will always produce check H a b c in the schedule.