What is the theoretical computing power needed in order to verify transactions on the upcoming Proof-of-Stake switch. For instance, will this be something that we can do on a raspberry pi?
Yes light clients will be eventually able to run on Raspberry pi.
However until pruning arrives I think they will only be able to fetch block headers
Once pruning is here we will see full nodes on Raspberry pi and similar devices