Add macros that always evaluate given expression

Added a new set of PPK_VERIFY* macros that have the same behavior as the
PPK_ASSERT* macros, except that the provided expression is always
evaluated, even when assertions are disabled. This provides a way of
keeping an expression enabled for useful side effects.