Added new functions to try replace the select k indices one.#2712

damrobi wants to merge 3 commits intoinput-output-hk:maininput-output-hk/mithril:mainfrom

damrobi:damrobi/rework-select-k-idxdamrobi/mithril:damrobi/rework-select-k-idxCopy head branch name to clipboard