It seems that reloading (Ctrl+R) in ADE waveform window does not reload the verilog waveforms. Is there a way to do this?
OK, so you're using an end-of-lifed simulator in an unsupported release. The last hotfix of IC615 was 4 years ago - and spectreVerilog has been removed as a simulator choice in IC617 (it's been in almost-no-maintenance mode for at least 15 years, as it depends upon Verilog-XL which was replaced by ncsim (Incisive) probably about 20 years ago).
So this may have been a bug then (I'm not going to go back and check) which has been fixed in the meantime (I doubt the simulator matters here, BTW).
So I'd suggest you move to something supported...