Better error handling for contract description.

This fixes https://github.com/gsmendoza/verified_double/issues/32