Feature: Add properties to some assertions.

Adds new properties for asserts. Improves docs.