bug: Witness generation fails when result does not match, expect cleaner error message.

[devloper]

When running spotify on an empty list, witness generation fails

ProofError(WitnessGenerator(JsonKeyError("0")))

Let's create a dev readable error: "Expected {xyz} to exist in JSON"