Adopt Properties to store operations inherent Attributes in the Bufferization dialect

This is part of an on-going migration to adopt Properties inside MLIR.

Differential Revision: https://reviews.llvm.org/D148884