Fixes for tapkee for proper external random shuffle and randomized eigendecomposition