Bug#1152829: verilator-5.048 is outdated and buggy

[Larry Doolittle]

> Later versions (5.050 and 5.052) are fixed.
> Please update the verilator package.

I can also confirm that the freshly tagged v5.054 is OK.

  - Larry