Add validation for PQ based methods based on dimension

[jmazanec15]

Related to #1074 (comment), right now, when validating a method to be used for training for PQ, we do not validate that the field's dimension is in fact divisble by the M parameter.

PQ encodes vectors by breaking them into M sub-vectors and then encoding each sub-vector independently. The behavior for the user will be that they get a vague excpetion. Something like: https://github.com/opensearch-project/k-NN/blob/main/src/main/java/org/opensearch/knn/training/TrainingJob.java#L196.

Instead, we should give a more descriptive error message that says exactly this. It will require some refactoring to https://github.com/opensearch-project/k-NN/blob/2.9.0.0/src/main/java/org/opensearch/knn/index/util/Faiss.java#L95