We have to count reduction with different weights

[anton-k]

For now all reductions are counted equally. But the cost of execution might be different loke for signature vs boolean primitive operation. Probably we should devise system of weights for operations.