Implement Block Verfication

Brief Description:

Implement the block verficaiton. Under "Validation" package, implement func "VerfiyBlock", take "Block" and other releated inputs, do following verfication:

- Block format checking

- Block's Programs should be pass via VM
