Add timing_attack support to compiler

Add support for timing_attacks to the compiler. Should beable to re-use the BlindInjectionAssertion for this. The timing definitions are reasonably simple and should be easy to wire up.

Edited by Michael Eddington