Allow assertions exclusion with a define.#25

micprog merged 2 commits intomainpulp-platform/obi:mainfrom

yt/verilatorpulp-platform/obi:yt/verilatorCopy head branch name to clipboard