remove cheated not_evaluate_top_timeout

it now has a proper proof in bigClockTheory