change implementation of via_vm_compute and add negb simpl instances

1 job for time/different_via_vm_compute in 14 minutes and 25 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.13.2-timing #140628
fp-timing

00:14:25