refactor(cache): make get_cached/set_cached synchronous

fix(hardening): address verify warnings W1 W2 W3

test(hardening): unit + integration tests for all subsystems