Allow check to be null for panda_module_new.
Fix bad Vala binding for Check and PreCheck.
Fix up documentation in header file