K2 treap

An efficient k^2-treap implementation.
Features:
 * in-place construction
 * k can be specified as template parameter
 * methods: 4-sided top-K queries, 4-sided count and locate queries
The condition doesn't seem to match the message in this assertion.