flowterp: fix bug/typo in flowtable generation

Copy/paste bug introduced in 9f61484d.
flowterp: add test comparing semantics and flowterp

This test establishes that the semantics and the flowtables generated by
the LocalCompiler agree.