fleshed out check_determinism() and run_machine() functions in the Processor class