Fix name typos in tests, move operator-based tests to test_pred.hh