Fixing the shift tests for BigWords