Requested feature: As of #1247, Kani reports the runtime of the verification step. It would be useful to also report memory usage to aid with performance comparisons.

I've been incorrectly using /usr/bin/time --verbose, but found out that the memory usage it reports does not include the child processes (e.g. CBMC).