bug: Witness generation fails when result does not match, expect cleaner error message. #112
Description
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"