[firedrake] Best way to detect memory leaks