Towards experimental classical verification of quantum computation