Regtests for the brute-force pell solver.