Update copyright
Move verifier into submodule
Minor cleanup