Also I would like it run not on just Amazon but on all the PCs out there which take part in the program, without having to contract with multiple parties or be dependent on a single cloud-provider like Amazon.
I think this would be a good use-case for crypto.
The thing about crypto is you don't sign a contract with any single company (like Amazon) to use it. Getting paid by users of your program wherever it executes should be (ideally) as simple.