Update Cost model

Avoid running MockProver for cost model

We copied the `Assignment` implementation of the MockProver, but in here we do not need to unwrap the witnesses (which was why the MockProver always needed `Value::known` instead of `Value::unknown`.

Now we can run the cost model without assigned values.