use check-type for better type-checking in VERIFY-KEY
teach TEST-VECTOR-FILENAME to cope with names with slashes
enable passing extra args into MAKE-CIPHER through CIPHER-TEST-GUTS
add stream-nonce-mode-test type, for stream ciphers with nonces