Verifying a 5μS TAS of Super Mario Bros 3 on real hardware