Text this: On the decidability of boundedness problems for counter Minsky machines