LVS should have proven that extracted netlist is equivalent to the

xxx.powered.v

netlist right ? So any reason not to simulate that ?