feat(core/layers): add correctness_check and capability_check layer to verify whether the operation and arguments is supported#5352