There is a bug in flopscope.numpy.linalg.solve that undercounts batched right-hand sides

[keenanpepper]

this fix has clearly been deployed; big leaderboard upset. looks like not all previous submissions have finished regrading?