------------------
Grover's algorithm
------------------

See https://en.wikipedia.org/wiki/Grover%27s_algorithm

The tests are at http://josd.github.io/eye/reasoning/grover/test
