Use monotonic_deadline_timer instead of deadline_timer.

Also, disable concurrency checks in ifmap_state_machine_test.