Tweak to .gitignore
Fixed a bug in verif_message.v so it builds again, although there's still much that is commented out