Address Value Management

This module provides utilities for working with T: BitStore addresses so that the other ptr submodules can rely on the correctness of their values when doing pointer encoding.