add proper assert to cfg tests
add support for recording executions in the cfg. Fixes #19.