Ensure the example scripts successfully converts each example model (with consistency checks passing) and solves at least a subset of snapshots.