merge trunk
merge trunk
merge trunk
Slightly better compilation of some [array] cases.
More extensive use of the techniques to improve other edge cases in ensemble compilation.
Improve code generation for some ensemble subcommands in cases where full
compilation is impossible yet full ensemble invoking is unnecessary.
Also fix a few minor doc formatting bugs.
remove unused var
merge trunk