Hardened Choices generaor and tests.

Hardened Choices generator and added tests for choices and boolean generators.