Extending the ohtomo stability test to large-signal solutions in a commercial circuit simulator