Tests: only missing arity != default (2) tests

 - Reorganized the tests
 - Added max-heap tests
 - Added complex tests: non-basic type + efficient update() with
   position storage
 - Proper exit() code