Back out workarounds for verilator issues and update minimum version