LSVerifier v0.3.0

Support specific class of property verification;
Prioritized functions verification;
Disable invalid pointer verification;
Logs improvements;
Code refactored.