Replace keccak256 with sha256 for output hash calculation

[rahulghangas]

Since we can't use input greater than blockSize in the circom implementation of keccak, replace hashing of validator (sub)set with sha256

• [x] Circuit compilation
• [x] Testing

To be merged after #59