Use the new STM and Jacobian API at several places.

2 jobs for issue-856 in 20 minutes and 40 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Verify
passed verify #3104

00:20:10

 
  Visualize
passed coverage-import #3105

00:00:29

97.0%