Oh, I also have a linter warning related to resets

%Warning-SYNCASYNCNET: /home/frans/Documents/fpga/spade-v/poweropt/build/spade.sv:175:11: Signal flopped as both synchronous and async: 'main.rst'
                       /home/frans/Documents/fpga/spade-v/poweropt/build/spade.sv:3824:13: ... Location of async usage
 3824 |         if (\rst ) begin
      |             ^~~~
                       /home/frans/Documents/fpga/spade-v/poweropt/build/spade.sv:3894:21: ... Location of sync usage
 3894 |         \s1_rst  <= \rst ;
      |                     ^~~~

but I feel like that should be fine, at least in this case