Added unit tests for RequiredAriaAttributeMissing (because adding implicit semantics will affect that functionality).
A couple of other extremely minor formatting tweaks.