Renamed macroAssert of AssertionsHelper that takes Fact to macroAssertFact and added a clue: Option[Any] parameter to it.