I tried running a simple example on snark with the time_prover, using a very small r1cs for a simple circuit. This issue doesn't look too hard to solve -- probably just a missing zero check somewhere. Run cargo run --features asm,print-trace,parallel --example snark -- -i 1 --time-prover on my fork to see the error setup / message.