maintain ChangeLog
testbench: emit error message on failed check