bug: relative import dependencies break during proof gen

[erhant]

Suppose that you are working with a workspace with two members, prover and lib and you provide the path to prover for proof generation. prover's main imports from lib with a relative path, which gets broken during the proof steps due to how files are moved around.

Solution is simply using an absolute path, but still leaving this issue here as a tracker 👍🏻