Truffle: fix AssumedValue.
Truffle: Add NeverValidAssumption.
Truffle: entries in change log.