Slightly improve some of the OTP assertion failure output.

Convert the assertion of priority going backward from an assert() to a
conditional, so we can actually output useful info when it happens.
Pretty-print the whole OWL chain when it triggers, so we can have a
prayer of figuring out what happened without finding a quick way to
trigger it and spending hours sprinkling extra printf's around.