Milestone for issues that will be solved by the removal of jvm-verifier. We want to leave these open until we do that to ensure that the crucible-jvm version of Java verification doesn't have these issues.