I've taken a look at the Wokwi offering now. It may have other virtues but its command line debugger seems labourious & cumbersome compared to the Virtronics GUI. The debug was the main reason I looked for a simulator (which is sorely lacking in the Arduino IDE IMO).
I think BTW it is a bit of an overstatement to say "it does not seem to work properly" just because a bug was found.