ivory: use new casting combinators.
decode: fix bug in absolute value computation!
partition: add requires for proofs.
claims-table: generated claims table from CBMC.
ivory-build: update for CBMC.
task: remove warning.
MessageDriver: use new casting operators.
Decode: fix indenting for bug fix with abs.