Text this: täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)