Proofs Checkable by Small Quantum Machines