Now truly verifies embedded signatures - notably, type Primary Key Binding. Closes #99