Amplitude amplification

[guomanmin]

Describe the feature you'd like
Implement Amplitude amplification for matrix product verification (and if possible, generalized use)
Literature: https://arxiv.org/pdf/quant-ph/0005055.pdf

How would this feature be used? Please describe.
Amplitude amplification is used to obtain a quadratic speedup over several classical algorithms.

Describe alternatives you've considered
There is a amplify() method in grovers_search.py, but that would not work with the implementation of matrix product verification

Additional context
This is going to be a pre-req for implementing Matrix product verification as raised by issue #73. See page 39-40 of Quantum Algorithms for Beginners.