Implement the Bender-Knuth involutions on semi-standard Young tableaux

[seangrate]

See here for an overview of the Bender-Knuth operation on semi-standard Young tableaux. This operation is useful in expressing other operations and verifying certain identities, so it would be good to implement this.

[seangrate]

This is now implemented with commit d556720.