Neural Network Verification through Replication