add type-checks to constructors

This also cleans up the imports in test_signing.py to match the convention used by the other test cases, and changes test_box.py to avoid the "pk"-vs-"sk" confusion by using "priv" and "pub".