Support $past function in formal mode

[Darksecond]

Currently read_uhdm (and by extension read_systemverilog) ignore the $past function that yosys read_verilog currently supports. This makes it fairly hard to write formal test benches as they tend to use the $past function.