Added documentation for expected behavior of pronghorn switch guard
and its interface to ralph runtime.  Still must actually implement
this interface.
Revamped switch guard to handle new ralph runtime semantics, which incorporate speculation.  Still have many fixmes in code about actually applying changes to hardware and recovering from failure.