Multi-entry function updates

* fixes for compilation with SML/NJ
* add `-check-multi-entry {false|true}` command-line flag to conditionally exercise the multi-entry compilation pipeline
* fix unset property in `dominatorForest` calculation
* misc. simplifications