The mason villager doesn't sell dripstone block, which isn't in parity with Java Edition. This would be a way to get dripstone block apart from exploring the dripstone caves, which is yet to be generated in the default world.
Step to Reproduce
1. Find/spawn a mason villager (by that, spawn a villager, and then place a stonecutter to set their professions)
2. Check to see if they sell those things.
---> They don't sell dripstone blocks.