Improving BitVMX with Bitcoin Soft-Forks