I think one can say that these issues of miner 'optimization' and some of the issues raised in the LeastAuthority audit [1] are architectural, rather than Solidity-specific, and which can only be addressed through defensive transaction design.

[1] https://github.com/LeastAuthority/ethereum-analyses/blob/mas...