Upped version and added missing copyright headers
Made VerificationException a subclass of AssertionError for better JUnit reporting