Short Circuit Candidate Checks on Success

[Burtannia]

Unfortunately, the functions are not sufficiently lazy to give us this for free. This means that testing laws for large, polymorphic tuples takes a very long time.