Rodin/Test/Utility.h file

Top-level include for test utility helpers (expected-result tables for parameterized checks).