Databus consistency checks in hiding circuit

[ledwards2225]

We are currently missing the final databus consistency checks that confirm data was faithfully passed from the second to last kernel to the tail kernel. (The second to last circuit is always a kernel; either an inner or reset). The check is simply that the return data of the second to last kernel matches the calldata to the tail.