Add a new table.shuffle extension for use in the benchmark scripts (and elsewhere)

Add a new table.shuffle extension for use in the benchmark scripts (and elsewhere) #1484