Rename integration to proptest.
Allow empty package names.