Add Validatable trait#329

robin-aws wants to merge 9 commits into

aws:developaws/aws-encryption-sdk:developfrom

robin-aws:validatablerobin-aws/aws-encryption-sdk-dafny:validatableCopy head branch name to clipboard