[CL03]: length of e is now verified, verifyCommit() and header added