std::prover::provide_value should support either setting row + 1 or column'

[lvella]

We need either this, or the ability to evaluate expressions in the previous rows, to be able to write query functions providing values connecting two rows (as supported in plain pil with the ' operator).

[chriseth]

Sure, do you want to implement it?