The validator can handle multiple failed invariants. Improved error dictization.