variable resources

[XuyangSong]

The implementation of supporting a variable number of resources, close #263

• [x] Build a merkle tree from full leaves and get the path for the designated leave
• [x] Existence(merkle path) check circuit supporting variable depthes
• [x] Adjust resource logic APIs and the implementation
• [x] Adjust out of circuit checks in the partial transaction
• [x] Update tests
• [x] Update application examples
• [ ] Update Taiga specs and README