Added informative error messages for the contract assertion failures.