move not_evaluate_whole_prog_timeout to bigClockTheory
add option type to the initial environment in the semantics
add option to initial compiler env, and prove env_rs_empty
compile_prog proof fixes after change to init_compiler_state