cleanup(state): Refactor subtree read functions to accept ranges and check memory first

cleanup(state): Refactor subtree read functions to accept ranges and check memory first #123