Invoke AbstractLevelDOWN tests from Proof.

Closes #38.