Added user_assert, internal_assert that use introspection

Converting asserts to them.
Introspection up call chains handles different types of callq