Merge "Add a true divergence mode to run_jfuzz_test.py"