Thank you very much for your contribution! Most of my comments here are minor nits aimed at preserving the style within this file.
In addition, we need a test to ensure this support works and is maintained in the future. Testing for assertions should be in the existing nosim test suite.
Added a few test cases in
nosim/assert.sv