Spinach: a liberty-based simulator for programmable network interface architectures