Composability vs Security: The Blockchain Trade-off Explained