Enabled crypto-tests/tea_four_round_one_var_half_key.stp.cvc test.
It's too slow though to be used for Travis builds so I will disabling
shortly.
Disable query file test that is too slow. We should probably move this
to a benchmark repository.
Enable crypto-tests/tea_three_round_two_var.stp.cvc query file test.