Updates to benchmark infrastructure.

Ignore benchmark program executables.

Update model-elimination.sml benchmark program to eliminate uses of `CommandLine.arguments ()` and fix iteration count.