bug fixes

went through with the validator and fixed a bunch of bugs, most caused
by missing traits and the change to the aztecs