Add size validation for SBox
Add BinOp box
Add Input box
Typo correction
Add the AES example.