perm'd PRSIM_AGGREGATE_EXCEPTIONS:1
perm'd PRSIM_TRACE_GENERATION:1
perm'd PRSIM_VCD_GENERATION:1
perm'd PRSIM_LAZY_INVARIANTS:1 (old bug fix)