1) Set the VM Timer overhead, and make it adjustable through --vm-timer-overhead.
2) Count the number of set_timer() calls per state.
3) Added IC_VERBOSE define flag to make set_timer()'s execution time uniform.