Adds verbose assert and true/false asserts