Extending the Ohtomo Stability Test to Large-Signal Solutions in a Commercial Circuit Simulator