Added assert that will fail once Opaque Keys lands.
Modified "TODO" to "TODO OpaqueKey".