Add testing of generated (ARM) baseline decoders using hand-written decoders.

src/trusted/validator_arm/actual_vs_baseline.h

Index: src/trusted/validator_arm/actual_vs_baseline.h
===================================================================
--- src/trusted/validator_arm/actual_vs_baseline.h	(revision 10678)
+++ src/trusted/validator_arm/actual_vs_baseline.h	(working copy)
@@ -42,7 +42,10 @@
   // Note: we quit early if the safety values are not MAY_BE_SAFE
   bool MayBeSafe();
 
-  // Checks that each corresponding ClassDecoder virtual matches.
+  // Applies Sanity checks, as defined by the baseline tester.
+  // Returns true if the sanity checks pass.
+  virtual bool DoApplySanityChecks();
+
   void CheckDefs();
   void CheckBaseAddressRegisterWritebackSmallImmediate();
   void CheckBaseAddressRegister();