Removes Optional for now

It didn't work anyway. Probably needs to move from validation to a
Three-state validation.
Includes a Show instance for Violation
Includes an assertion function.
Bumps to 0.1.0