Relax ordering constraints for check blocks

[florianschanda]

Multiple check blocks for the same type are evaluated in unspecified order.

Currently in vcg we assume the same order that TRLC has used; but we should not do that. We can emulate this with an overapproximation: we can execute all check blocks in parallel.