GitLab

This adds -Xcheck:jni to the core test command line.  The tests will run
a bit more slowly when native code is involved, but I don't think we're
doing any performance testing in here, and the extra JNI testing is
useful.