Some initial support for testing memory related matters. Writes down tests that want leakage or memory use checked. New macros for adding these checks.