Simulating Galaxy Formation to Test Dark Matter Theories