Assertions to check the properties of code

WWW: https://bitbucket.org/richierocks/assertive.code
