Retrieve values of local variables during execution

[piotmag769]

We want to be able to inspect e.g. the value of x during execution of this function

#[test]
fn test() {
    let mut x = 5;
    x = 10;
}

Research what debug info needs to be added to sierra/casm and implement the algorithm.