What exactly is the "limiting clause" of Bitcoin? Why has it attracted so much attention and discussion from developers for years? What programmability can Bitcoin achieve?