[ew:bs] Document SpecificationChecker attributes
[ew:bs] Document SpecificationChecker attributes

- add default values to SpecificationChecker attributes
- move "pipeline" to SpecificationChecker doc
- mention design patters in SpecificationChecker doc

- add missing relative qualified name (attribute prover)
- add too many hyphenations
- make checkAnnotation a mlmethod

team-worthwhile/worthwhile,team-worthwhile/worthwhile