More Natspec JSON export tests and better error reporting