There is no 7spikes upgrade script for 3.90 -> 4.00 adn you only need to run the nopCommmerce one.
I suggest you follow this article in our documentation since it contains everything you need to know about your upgrade process, including a .zip file with all the available upgrade scripts.