[SVSim] Fixed non-firing AssertProperty in SVSim (backport #4087) (#4088

)

* [SVSim] Fixed non-firing AssertProperty in SVSim  (#4087)

(cherry picked from commit d3ab477)

# Conflicts:
#	src/test/scala/chiselTests/LTLSpec.scala
#	svsim/src/main/scala/verilator/Backend.scala

* Resolve backport conflicts

---------

Co-authored-by: Amelia Dobis <amelia.dobis@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>

svsim/src/main/scala/verilator/Backend.scala

@@ -56,6 +56,7 @@ final class Backend(
           "-o", s"../$outputBinaryName", // "Name of final executable"
           "--top-module", topModuleName, // "Name of top-level input module"
           "--Mdir", "verilated-sources",  // "Name of output object directory"
+          "--assert", // Enable assertions
         ),
 
         commonSettings.libraryExtensions match {