small tweaks

src/dos_m65/sdcard/sdcard_readsector.s

@@ -46,7 +46,6 @@ sdcard_readsector_try_loop:
 	jsr sdcard_wait_ready
 	bcs sdcard_readsector_fail
 
-
 	lda SD_CTL
 	and #$67
 	bne sdcard_readsector_copy_data

src/dos_m65/sdcard/sdcard_writesector.s

@@ -81,7 +81,25 @@ sdcard_writesector_verify:
 	; There is a bug in the SD controller; you have to read between writes,
 	; or it gets really upset
 
-	; XXX
+@1:
+	lda SD_CTL
+	and #$03
+	bne @1
+
+	lda #CARD_CMD_READ                 ; $02
+	sta SD_CTL
+
+@2:
+	lda SD_CTL
+	and #$03
+	beq @2
+
+@3:                                    ; XXX deduplicate this ppart
+	lda SD_CTL
+	and #$03
+	bne @3
+
+	; XXX verify - compare buffer