Implement Transaction Verification

[sharpbear]

Implement transaction verfication functions

Berif Description:

Under "Validation" package, implement func "VerifyTransaction", take "Transaciton","Transaction Pool", "Blockchain State" as inputs. The func will do following validations:

• Transcation Well format

• No duplicated inputs

• Asset Precision check

• inputs/outputs balance

• double spend

• Transcation's programs should be passed via VM