Chef John's stuffed peppers