Added a compile-only option to build and to Laws.
Added single-element test and removed SI-6827 from test-disabling flags.