Currently, when jasm identifies a verification error it reports a rather useless error message. This really needs to be improved!!!