Add and organize tests and test suites.
Organize verification rules.
Uniform exception type to be thrown to 'IllegalArgumentException' when
invalid parameters are given.
Add test suites.