Remove jbet (no longer available) and BCEL modified verifier tests (do not work, out of memory errors).