The FIDS Theorems: Tensions between Multinode and Multicore Performance in Transactional Systems