Trace-based intermediate leakage quantifier and observational determinism verifier

This release contains a trace-based algorithm for computing intermediate leakage variants and two algorithms for verifying observational determinism.

Trace-based intermediate leakage quantifier

This release contains the trace-based algorithms needed for computing intermediate leakage of PRISM programs.