VerificationException now extends AssertionError. Closes #56