v0.9.0

Added

• Predicate proofs generation and verification

Changed

• The way of hashing terms with datatype of xsd:date, xsd:dateTime, schema:Date, schema:DateTime, and xsd:integer to allow range proofs
• Upgrade dependencies