IBM and University of Chicago demonstrate verified logical quantum computation beyond classical simulation