Fix various issues to allow verifications.

Add an interface allowing signatures to be put outside the top level.