KJ-30 eliminate elab() wrappers except for 'NewInstance 'Invoke 'Param.
tools: minor correction
tests: added some new tests related to deterministic execution of threading and string.compareTo().