ivory-opts: bugfix Comment case in AssertFold

cabal output is so big & gross I missed the warning
ivory-hw: emit basic comments for register read/write/modify