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