How to verify that quantum chips are computing correctly