Incredible presentation by Will Wilson about testing Mario using deterministic simulation.