Rename check_gf_mul.sage to test_gf_mul.sage