Quantum supremacy: checking a quantum computer with a classical supercomputer