Improvements for the WellformednessChecker

Improved the WellformednessChecker:

* Check for null in record ids
* Added tests
* Unified capitalisation of WellformednessChecker and its exception