Implement Block Verfication

[sharpbear]

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