Improve the inner node proving mechanism to be general purpose

[rach-id]

After working on #256, which only supports proving the inner nodes of an ideal tree. We could extend the work to be general purpose and allow proving the inner nodes of any tree with any size.

An attempt to do that was in this #260 where an approach that uses coordinates is followed. However, that design can change if needed and other ways can be explored.