Macro Assume + Some Adjustments in Assertions

-Changed assume in Assertions to use macro like assert.
-Changed assert/assume error message with clue to follow the format of AppendedClue
-Renamed method names in AssertionsHelpers and AssertionsMacro.
-Updated scaladoc for deprecated assert and assume in Assertions.