GBP: test case hardening against timing races