Added tests for memoization to ensure messages and potentials are only called once for each arg combo.