Added assertion to validation function.

lib-sieve: optimized compilation of tests that yield constant results (i.e. known at compile tme), such as true and false.
If the result of a test is known at compile time, it is optimized away. If an if-command depends on an entirely constant test, it is optimized away as well,
causing only the 'true' sub-block to be compiled.

Changed validator's command syntax validation such that command implementations don't have to call the argument, test and block validation functions explicitly.

Changed argument validation to record the first positional argument into the command context by default. Also furter improved validator's error handling.