Specification Engineering is a bet on better code gen and more complexity