We should accept an index format in set_index_buffer to match the upstream API https://github.com/gpuweb/gpuweb/blob/0480646a43fabd7de42d62ee394e085c8824c975/spec/index.bs#L5441
We'll need to:
In addition, render pipeline descriptor should have the index format as optional.