Brute-force checker

Also written: checker

A slow but obviously correct function that you compare against your fast one on many random inputs. It finds bugs in cases you didn't think to try.