A short remark regarding smart contracts: If I have understood it the right way, then Peercoin's smart-contract-like features via PeerAssets will not be turing complete (like Ethereum's smart contract platform). But turing complete smart contracts have still to prove that they are really useful. So that is not necessarily a "problem" if turing-completeness is lacking, if major use cases (like dividends) can be implemented in another way.
From what I've understand from talking to the developers, you are correct. Turing complete has too wide of an attack space, which we don't want for Peercoin.